Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nerode, Anil/ Matiiasevich, Iu V

  • Springer(1994/07発売)
  • ご注文いただけません
Logic for Applications (Monographs in Computer Science) (Reprint)
  • 洋書
  • ポイントキャンペーン

Logic for Applications (Monographs in Computer Science) (Reprint)  Paperback,  言語:ENG

Nerode, Anil/ Shore, Richard A.

  • Springer-Verlag New York Inc(2012/07発売)
  • ご注文いただけません
Automata Theory and its Applications (Progress in Computer Science and Applied Logic)
  • 洋書
  • ポイントキャンペーン

Automata Theory and its Applications (Progress in Computer Science and Applied Logic)  Paperback,  言語:ENG

Khoussainov, Bakhadyr/ Nerode, Anil

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer-Verlag New York Inc.(2012/11発売)
  • ポイント 192pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science)  言語:ENG

Artemov, Sergei N (EDT)/ Nerode, Anil (EDT)

  • Springer(2007/01発売)
  • ご注文いただけません
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (Lecture Notes in Mathematics, Volume 1429) (2008. 176 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (Lecture Notes in Mathematics, Volume 1429) (2008. 176 S. 235 mm)  Paperback

Homer, Steven/ Nerode, Anil/ Platek, Richard A./ Sacks, Gerald E./ Scedrov, Andre/ Herausgeber: Odifreddi, Piergiorgio

  • ウェブストア価格 ¥6,130(本体¥5,573)
  • SPRINGER, BERLIN(2008発売)
  • ポイント 110pt
  • 海外取次在庫
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Artemov, Sergei (EDT)/ Nerode, Anil (EDT)

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 192pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Artemov, Sergei (EDT)/ Nerode, Anil (EDT)

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 192pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hybrid Systems (Lecture Notes in Computer Science, Volume 736) (2007. 488 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Hybrid Systems (Lecture Notes in Computer Science, Volume 736) (2007. 488 S. 235 mm)  Paperback

Herausgeber: Ravn, Anders P., Nerode, Anil, Grossman, Robert L., Rischel, Hans

  • ウェブストア価格 ¥12,282(本体¥11,166)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 222pt
  • 海外取次在庫
Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4514〉
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4514〉  Paperback,  言語:ENG

Artemov, Sergeij (EDT)/ Nerode, Anil (EDT)

  • ウェブストア価格 ¥10,662(本体¥9,693)
  • Springer(2007/06発売)
  • ポイント 192pt
  • 海外取次在庫
Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Artemov, Sergei (EDT)/ Nerode, Anil (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ご注文いただけません